$\forall$$A$, $B$:Type. $B$ $\subseteq\rho$ $A$ $\Rightarrow$ $A$ $\subseteq\rho$ $B$ $\Rightarrow$ strong{-}subtype($A$;$B$)